Zermelo-Frankel set theory

策梅洛-弗兰克尔集合论